4 results
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 31 May 2022, pp. 71-96
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ETA-RULES IN MARTIN-LÖF TYPE THEORY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 22 July 2019, pp. 333-359
- Print publication:
- September 2019
-
- Article
- Export citation
THE CONCEPT HORSE IS A CONCEPT
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 21 December 2017, pp. 547-572
- Print publication:
- September 2018
-
- Article
- Export citation
DEDEKIND AND HILBERT ON THE FOUNDATIONS OF THE DEDUCTIVE SCIENCES
-
- Journal:
- The Review of Symbolic Logic / Volume 4 / Issue 4 / December 2011
- Published online by Cambridge University Press:
- 07 November 2011, pp. 645-681
- Print publication:
- December 2011
-
- Article
- Export citation